Dualities in Lattice Theory
نویسنده
چکیده
In this note we prove several duality theorems in lattice theory. We also discuss the connection between spectral spaces and Priestley spaces, and interpret Priestley duality in terms of spectral spaces. The organization of this note is as follows. In the first section we collect appropriate definitions and basic results common to many of the various topics. The next four sections consider Birkhoff duality between finite distributive lattices and finite posets, Stone’s duality between Boolean algebras and Stone spaces, Priestley duality between bounded distributive lattices and Priestley spaces, and Heyting between Heyting algebras and Heyting spaces. Finally, in Section 6 we consider the relation between the Stone topology and the spectral topology on the set of prime filters of a distributive lattice. The spectral topology more closely resembles the topology on the spectrum of a commutative ring, while the Stone topology yields a compact Hausdorff space. We will then interpret Priestley duality in terms of spectral spaces. As we will see, Priestley duality generalizes both Birkhoff and Stone duality, and Heyting duality considers special cases of bounded distributive lattices and Priestley spaces.
منابع مشابه
ON THE FUZZY SET THEORY AND AGGREGATION FUNCTIONS: HISTORY AND SOME RECENT ADVANCES
Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale ${0,1}$ into the scale $[0,1]$. We discuss these extensions, in particular, we focus on the dualities arising from the Boolean dualities. These dualities allow to transfer the results from some particular class of extended Boolean functions, e.g., from c...
متن کاملA walk through superstring theory with an application to Yang-Mills theory: k-strings and D-branes as gauge/gravity dual objects
Superstring theory is one current, promising attempt at unifying gravity with the other three known forces: the electromagnetic force, and the weak and strong nuclear forces. Though this is still a work in progress, much effort has been put toward this goal. A set of specific tools which are used in this effort are gauge/gravity dualities. This thesis consists of a specific implementation of ga...
متن کاملCanonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
The paper investigates completions in the context of finitely generated lattice-based varieties of algebras. In particular the structure of canonical extensions in such a variety A is explored, and the role of the natural extension in providing a realisation of the canonical extension is discussed. The completions considered are Boolean topological algebras with respect to the interval topology...
متن کاملBoolean Topological Distributive Lattices and Canonical Extensions
This paper presents a unified account of a number of dual category equivalences of relevance to the theory of canonical extensions of distributive lattices. Each of the categories involved is generated by an object having a 2-element underlying set; additional structure may be algebraic (lattice or complete lattice operations) or relational (order) and, in either case, topology may or may not b...
متن کاملDuality between simple-group gauge theories and some applications
In this paper we investigate N=1 supersymmetric gauge theories with a product gauge group. By using smoothly confining dynamics, we can find new dualities which include higher-rank tensor fields, and in which the dual gauge group is simple, not a product. Some of them are dualities between chiral and non-chiral gauge theories. We also discuss some applications to dynamical supersymmetry breakin...
متن کاملCoproducts of Distributive Lattice based Algebras
The analysis of coproducts in varieties of algebras has generally been variety-specific, relying on tools tailored to particular classes of algebras. A recurring theme, however, is the use of a categorical duality. Among the dualities and topological representations in the literature, natural dualities are particularly well behaved with respect to coproduct. Since (multisorted) natural dualitie...
متن کامل